Using Software Specification Methods for Measurement Instrument Systems

نویسندگان

  • L. Finkelstein
  • J. Huang
  • A. C. W. Finkelstein
  • B. Nuseibeh
چکیده

Investigation has been undertaken into the use of software specification methods for instrument systems specification. In the first part of this paper, some of the well-known structured software specification methods are briefly evaluated against a set of criteria we established, in the context of measuring instrument systems. We then conduct a case study in the widely used CORE method. It has been established that CORE can provide systematic and effective support for functional requirement analysis of complex instruments and instrument systems. Its decomposition-based analysis helps to create complete and consistent functional requirement specification.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Software Reconfiguration Patterns for Instrumentation Architectures

Dynamic reconfiguration in all kinds of applications is absorbing more and more research focus for its demand in automatic measurement system for low-cost products and short time to market. This study proposes a software reconfiguration instrumentation architecture, which is built on component and software data bus models. In the architecture, the measurement system software is viewed as an int...

متن کامل

Optimal Adjustment of Three-Term Controller and Two-Term Compensator Performances in Hydro Power Systems for Load Frequency Control

An important issue with respect to the hydraulic power systems is the frequency stabilization. To design Load Frequency Control (LFC) with high efficiency, control parameters need to be adjusted so that the system frequency remains stable even under changeable conditions. Controlling the frequency and changes in the turbine time constant requires that three term control parameters of Proportion...

متن کامل

Comparison of the Efficacy of Digital Caliper and a Newly Designed Digital Bone Gauge for Measurement of Edentulous Alveolar Ridge Width

Objectives: An efficient, safe, affordable and easily accessible measuring instrument for quantitative assessment of bone prior to dental implant placement enables more accurate treatment planning. Costly imaging modalities are neither widely available, nor affordable for some patients. This study sought to assess the efficacy of a newly designed digital bone gauge for measurement of bone width...

متن کامل

Complexity metrics for formally specified business requirements

According to the Zachman framework for system architecture, business requirements and user information requirements should be separately modelled to enhance the maintainability and adaptability of the information systems and to improve the flexibility of the system development process. The measurement of business requirements is largely an unexplored field since requirements specification measu...

متن کامل

A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers

This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1992